#include "constantes_gpu.h"

const unsigned int PosNoeudsVariable[3815] ={
/* msg =      0, deg =  8 */      0,      1,    506,    622,    840,    926,    979,   1013, 
/* msg =      1, deg =  8 */      1,      2,    519,    696,    841,    927,    980,   1014, 
/* msg =      2, deg =  8 */      2,      3,    520,    697,    842,    928,    981,   1015, 
/* msg =      3, deg =  8 */      3,      4,    521,    698,    843,    929,    982,   1016, 
/* msg =      4, deg =  8 */      4,      5,    522,    699,    844,    930,    983,   1017, 
/* msg =      5, deg =  8 */      5,      6,    523,    700,    845,    931,    984,   1018, 
/* msg =      6, deg =  8 */      6,      7,    524,    701,    846,    932,    985,   1012, 
/* msg =      7, deg =  8 */      7,      8,    525,    702,    847,    933,    977,   1011, 
/* msg =      8, deg =  8 */      8,      9,    526,    703,    848,    934,    984,   1019, 
/* msg =      9, deg =  8 */      9,     10,    527,    704,    839,    935,    980,   1016, 
/* msg =     10, deg =  8 */     10,     11,    528,    705,    849,    936,    986,   1020, 
/* msg =     11, deg =  8 */     11,     12,    529,    696,    850,    937,    987,   1021, 
/* msg =     12, deg =  8 */     12,     13,    530,    706,    851,    924,    988,   1020, 
/* msg =     13, deg =  8 */     13,     14,    531,    707,    852,    938,    979,   1022, 
/* msg =     14, deg =  8 */     14,     15,    532,    708,    853,    892,    989,   1023, 
/* msg =     15, deg =  8 */     15,     16,    533,    709,    854,    939,    987,   1020, 
/* msg =     16, deg =  8 */     16,     17,    534,    710,    855,    940,    990,   1015, 
/* msg =     17, deg =  8 */     19,     20,    537,    713,    858,    942,    990,   1023, 
/* msg =     18, deg =  8 */     20,     21,    538,    714,    859,    918,    988,   1017, 
/* msg =     19, deg =  8 */     21,     22,    539,    715,    860,    943,    992,   1021, 
/* msg =     20, deg =  8 */     27,     28,    545,    721,    839,    946,    993,   1013, 
/* msg =     21, deg =  8 */     28,     29,    546,    722,    864,    937,    994,   1012, 
/* msg =     22, deg =  8 */     30,     31,    548,    707,    848,    947,    971,   1014, 
/* msg =     23, deg =  8 */     33,     34,    551,    700,    856,    942,    996,   1016, 
/* msg =     24, deg =  8 */     35,     36,    519,    694,    868,    950,    983,   1020, 
/* msg =     25, deg =  8 */     40,     41,    557,    731,    871,    936,    998,   1016, 
/* msg =     26, deg =  8 */     42,     43,    559,    733,    847,    955,    987,   1023, 
/* msg =     27, deg =  8 */     43,     44,    560,    734,    873,    956,    999,   1014, 
/* msg =     28, deg =  8 */     47,     48,    563,    709,    845,    926,    990,   1022, 
/* msg =     29, deg =  8 */     50,     51,    566,    738,    860,    951,    980,   1011, 
/* msg =     30, deg =  8 */     52,     53,    567,    740,    846,    961,    986,   1013, 
/* msg =     31, deg =  8 */     53,     54,    568,    741,    877,    955,    982,   1022, 
/* msg =     32, deg =  8 */     59,     60,    573,    737,    879,    902,   1000,   1013, 
/* msg =     33, deg =  8 */     60,     61,    574,    747,    845,    943,    998,   1023, 
/* msg =     34, deg =  8 */     70,     71,    529,    756,    883,    943,    975,   1016, 
/* msg =     35, deg =  8 */     71,     72,    582,    731,    852,    948,    967,   1017, 
/* msg =     36, deg =  8 */     73,     74,    584,    699,    872,    966,    999,   1006, 
/* msg =     37, deg =  8 */     75,     76,    585,    688,    885,    927,   1003,   1020, 
/* msg =     38, deg =  8 */     82,     83,    590,    761,    856,    935,    974,   1013, 
/* msg =     39, deg =  8 */     83,     84,    591,    762,    887,    928,    994,   1016, 
/* msg =     40, deg =  8 */     85,     86,    566,    763,    863,    968,   1004,   1015, 
/* msg =     41, deg =  8 */     92,     93,    597,    770,    790,    932,   1000,   1016, 
/* msg =     42, deg =  8 */     93,     94,    584,    771,    890,    963,   1007,   1021, 
/* msg =     43, deg =  8 */     94,     95,    598,    766,    842,    965,   1006,   1013, 
/* msg =     44, deg =  8 */     95,     96,    518,    772,    852,    961,   1008,   1011, 
/* msg =     45, deg =  8 */     97,     98,    599,    764,    847,    924,    982,   1021, 
/* msg =     46, deg =  8 */    102,    103,    562,    776,    893,    973,    997,   1022, 
/* msg =     47, deg =  8 */    108,    109,    571,    779,    895,    949,    993,   1020, 
/* msg =     48, deg =  8 */    109,    110,    607,    780,    883,    931,    988,   1022, 
/* msg =     49, deg =  8 */    117,    118,    612,    784,    840,    968,   1008,   1019, 
/* msg =     50, deg =  8 */    119,    120,    613,    761,    899,    971,   1006,   1023, 
/* msg =     51, deg =  8 */    129,    130,    619,    793,    902,    932,   1009,   1021, 
/* msg =     52, deg =  8 */    130,    131,    578,    794,    864,    942,   1000,   1014, 
/* msg =     53, deg =  8 */    133,    134,    533,    719,    882,    946,    982,   1017, 
/* msg =     54, deg =  8 */    136,    137,    616,    773,    843,    962,    992,   1014, 
/* msg =     55, deg =  8 */    138,    139,    624,    711,    847,    967,   1003,   1013, 
/* msg =     56, deg =  8 */    148,    149,    593,    715,    854,    912,    919,   1011, 
/* msg =     57, deg =  8 */    151,    152,    631,    805,    904,    942,    999,   1018, 
/* msg =     58, deg =  8 */    152,    153,    622,    743,    883,    908,    998,   1014, 
/* msg =     59, deg =  8 */    154,    155,    560,    726,    905,    961,    990,   1018, 
/* msg =     60, deg =  8 */    155,    156,    633,    718,    865,    968,   1005,   1017, 
/* msg =     61, deg =  8 */    156,    157,    518,    783,    857,    971,    979,   1012, 
/* msg =     62, deg =  8 */    158,    159,    635,    807,    906,    957,    995,   1013, 
/* msg =     63, deg =  8 */    162,    163,    637,    804,    874,    930,    978,   1012, 
/* msg =     64, deg =  8 */    166,    167,    639,    810,    907,    971,   1003,   1011, 
/* msg =     65, deg =  8 */    169,    170,    610,    708,    849,    965,    985,   1017, 
/* msg =     66, deg =  8 */    175,    176,    643,    807,    841,    939,    997,   1012, 
/* msg =     67, deg =  8 */    177,    178,    644,    815,    887,    929,    993,   1017, 
/* msg =     68, deg =  8 */    183,    184,    646,    818,    909,    957,   1004,   1019, 
/* msg =     69, deg =  8 */    184,    185,    548,    794,    887,    927,    988,   1015, 
/* msg =     70, deg =  8 */    186,    187,    564,    810,    884,    901,    999,   1023, 
/* msg =     71, deg =  8 */    191,    192,    601,    816,    871,    972,   1011,   1015, 
/* msg =     72, deg =  8 */    195,    196,    607,    820,    913,    937,   1000,   1023, 
/* msg =     73, deg =  8 */    197,    198,    650,    791,    861,    952,   1001,   1017, 
/* msg =     74, deg =  8 */    199,    200,    651,    814,    838,    978,   1010,   1015, 
/* msg =     75, deg =  8 */    200,    201,    633,    777,    888,    935,   1003,   1014, 
/* msg =     76, deg =  8 */    214,    215,    567,    718,    912,    954,    998,   1019, 
/* msg =     77, deg =  8 */    216,    217,    652,    815,    915,    947,    994,   1003, 
/* msg =     78, deg =  8 */    221,    222,    570,    827,    880,    962,    985,   1023, 
/* msg =     79, deg =  8 */    223,    224,    656,    727,    882,    944,    978,   1008, 
/* msg =     80, deg =  8 */    226,    227,    591,    693,    860,    938,    996,   1012, 
/* msg =     81, deg =  8 */    227,    228,    619,    702,    834,    968,    984,   1023, 
/* msg =     82, deg =  8 */    228,    229,    648,    787,    888,    971,    980,   1020, 
/* msg =     83, deg =  8 */    231,    232,    557,    824,    917,    963,    996,   1022, 
/* msg =     84, deg =  8 */    240,    241,    572,    757,    898,    951,   1003,   1010, 
/* msg =     85, deg =  8 */    241,    242,    629,    772,    893,    941,    999,   1013, 
/* msg =     86, deg =  8 */    243,    244,    536,    828,    910,    966,   1004,   1017, 
/* msg =     87, deg =  8 */    246,    247,    662,    782,    893,    968,    990,   1021, 
/* msg =     88, deg =  8 */    249,    250,    625,    778,    837,    974,    991,   1016, 
/* msg =     89, deg =  8 */    250,    251,    581,    765,    862,    953,    995,   1015, 
/* msg =     90, deg =  8 */    251,    252,    663,    676,    873,    939,   1010,   1018, 
/* msg =     91, deg =  8 */    253,    254,    661,    812,    915,    932,    990,   1010, 
/* msg =     92, deg =  8 */    254,    255,    604,    692,    905,    970,    993,   1015, 
/* msg =     93, deg =  8 */    257,    258,    664,    815,    868,    975,    997,   1018, 
/* msg =     94, deg =  8 */    258,    259,    626,    742,    890,    939,    980,   1022, 
/* msg =     95, deg =  8 */    261,    262,    535,    754,    869,    932,    981,   1020, 
/* msg =     96, deg =  8 */    263,    264,    583,    786,    841,    965,    989,   1021, 
/* msg =     97, deg =  8 */    264,    265,    666,    689,    919,    966,   1003,   1015, 
/* msg =     98, deg =  8 */    270,    271,    525,    824,    849,    931,    994,   1013, 
/* msg =     99, deg =  8 */    277,    278,    566,    688,    890,    964,   1008,   1013, 
/* msg =    100, deg =  8 */    281,    282,    517,    756,    896,    960,   1002,   1019, 
/* msg =    101, deg =  8 */    296,    297,    613,    814,    897,    960,    993,   1022, 
/* msg =    102, deg =  8 */    305,    306,    577,    730,    859,    951,    979,   1018, 
/* msg =    103, deg =  8 */    308,    309,    528,    831,    908,    947,   1002,   1023, 
/* msg =    104, deg =  8 */    310,    311,    587,    797,    881,    973,   1011,   1014, 
/* msg =    105, deg =  8 */    312,    313,    554,    828,    921,    971,    981,   1021, 
/* msg =    106, deg =  8 */    314,    315,    662,    762,    901,    922,    985,   1018, 
/* msg =    107, deg =  8 */    316,    317,    633,    833,    907,    925,   1006,   1022, 
/* msg =    108, deg =  8 */    317,    318,    580,    729,    911,    937,    983,   1015, 
/* msg =    109, deg =  8 */    318,    319,    677,    832,    919,    963,    988,   1018, 
/* msg =    110, deg =  8 */    320,    321,    547,    830,    843,    975,    983,   1022, 
/* msg =    111, deg =  8 */    321,    322,    644,    783,    869,    966,    996,   1021, 
/* msg =    112, deg =  8 */    323,    324,    575,    712,    868,    970,    981,   1022, 
/* msg =    113, deg =  8 */    327,    328,    678,    703,    863,    970,   1010,   1016, 
/* msg =    114, deg =  8 */    332,    333,    585,    818,    917,    969,   1005,   1023, 
/* msg =    115, deg =  8 */    336,    337,    629,    797,    887,    960,   1009,   1018, 
/* msg =    116, deg =  8 */    338,    339,    664,    834,    907,    967,    982,   1014, 
/* msg =    117, deg =  8 */    341,    342,    636,    827,    888,    934,   1002,   1017, 
/* msg =    118, deg =  8 */    345,    346,    568,    722,    857,    928,    997,   1021, 
/* msg =    119, deg =  8 */    346,    347,    647,    817,    871,    949,    984,   1014, 
/* msg =    120, deg =  8 */    348,    349,    516,    823,    882,    974,   1012,   1014, 
/* msg =    121, deg =  8 */    353,    354,    659,    822,    893,    926,    983,   1012, 
/* msg =    122, deg =  8 */    354,    355,    544,    732,    886,    963,   1001,   1013, 
/* msg =    123, deg =  8 */    356,    357,    612,    817,    922,    960,    982,   1020, 
/* msg =    124, deg =  8 */    358,    359,    560,    819,    923,    978,    982,   1019, 
/* msg =    125, deg =  8 */    359,    360,    666,    812,    920,    976,   1009,   1012, 
/* msg =    126, deg =  8 */    361,    362,    657,    821,    855,    948,    980,   1021, 
/* msg =    127, deg =  8 */    363,    364,    679,    760,    859,    936,   1001,   1011, 
/* msg =    128, deg =  8 */    365,    366,    540,    614,    857,    967,    999,   1016, 
/* msg =    129, deg =  8 */    366,    367,    665,    823,    897,    975,    998,   1017, 
/* msg =    130, deg =  8 */    368,    369,    606,    805,    889,    938,    997,   1020, 
/* msg =    131, deg =  8 */    369,    370,    669,    739,    819,    962,    981,   1018, 
/* msg =    132, deg =  8 */    373,    374,    647,    766,    918,    955,   1000,   1018, 
/* msg =    133, deg =  8 */    375,    376,    559,    831,    863,    962,    978,   1017, 
/* msg =    134, deg =  8 */    378,    379,    682,    706,    869,    955,    995,   1017, 
/* msg =    135, deg =  8 */    381,    382,    660,    831,    858,    961,    983,   1019, 
/* msg =    136, deg =  8 */    386,    387,    589,    755,    902,    930,    993,   1018, 
/* msg =    137, deg =  8 */    387,    388,    683,    816,    866,    974,   1006,   1020, 
/* msg =    138, deg =  8 */    388,    389,    534,    809,    914,    966,    987,   1018, 
/* msg =    139, deg =  8 */    389,    390,    648,    749,    851,    951,    991,   1012, 
/* msg =    140, deg =  8 */    390,    391,    642,    835,    886,    927,    993,   1019, 
/* msg =    141, deg =  8 */    391,    392,    654,    761,    879,    950,    994,   1021, 
/* msg =    142, deg =  8 */    393,    394,    673,    805,    861,    956,   1000,   1012, 
/* msg =    143, deg =  8 */    395,    396,    586,    713,    895,    953,    984,   1022, 
/* msg =    144, deg =  8 */    397,    398,    524,    788,    859,    970,    990,   1020, 
/* msg =    145, deg =  8 */    398,    399,    684,    729,    866,    954,    992,   1016, 
/* msg =    146, deg =  8 */    399,    400,    672,    831,    898,    953,    991,   1020, 
/* msg =    147, deg =  8 */    403,    404,    538,    833,    920,    974,   1008,   1023, 
/* msg =    148, deg =  8 */    405,    406,    604,    821,    910,    956,   1007,   1019, 
/* msg =    149, deg =  8 */    408,    409,    607,    796,    858,    958,    985,   1014, 
/* msg =    150, deg =  8 */    409,    410,    593,    734,    844,    965,   1007,   1020, 
/* msg =    151, deg =  8 */    410,    411,    514,    832,    889,    976,   1005,   1016, 
/* msg =    152, deg =  8 */    411,    412,    582,    828,    915,    941,   1009,   1019, 
/* msg =    153, deg =  8 */    412,    413,    632,    770,    880,    945,    975,   1013, 
/* msg =    154, deg =  8 */    417,    418,    686,    825,    900,    968,    995,   1018, 
/* msg =    155, deg =  8 */    421,    422,    673,    778,    857,    933,    989,   1019, 
/* msg =    156, deg =  8 */    422,    423,    597,    705,    866,    968,   1001,   1022, 
/* msg =    157, deg =  8 */    423,    424,    670,    773,    887,    969,    977,   1019, 
/* msg =    158, deg =  8 */    425,    426,    645,    780,    879,    961,   1009,   1023, 
/* msg =    159, deg =  8 */    427,    428,    665,    818,    921,    974,    999,   1015, 
/* msg =    160, deg =  8 */    436,    437,    553,    814,    921,    975,   1005,   1020, 
/* msg =    161, deg =  8 */    447,    448,    550,    695,    864,    943,    981,   1019, 
/* msg =    162, deg =  8 */    448,    449,    653,    830,    915,    963,   1002,   1014, 
/* msg =    163, deg =  8 */    449,    450,    596,    690,    884,    942,    987,   1015, 
/* msg =    164, deg =  8 */    451,    452,    530,    829,    912,    977,    980,   1017, 
/* msg =    165, deg =  8 */    456,    457,    613,    759,    893,    936,    982,   1007, 
/* msg =    166, deg =  8 */    461,    462,    623,    662,    862,    946,    965,   1012, 
/* msg =    167, deg =  8 */    468,    469,    663,    723,    840,    972,    992,   1023, 
/* msg =    168, deg =  8 */    470,    471,    668,    826,    919,    975,   1006,   1012, 
/* msg =    169, deg =  8 */    473,    474,    638,    697,    920,    963,   1004,   1016, 
/* msg =    170, deg =  8 */    474,    475,    658,    784,    848,    966,    995,   1023, 
/* msg =    171, deg =  8 */    475,    476,    615,    792,    907,    969,    980,   1013, 
/* msg =    172, deg =  8 */    476,    477,    515,    777,    853,    932,    992,   1018, 
/* msg =    173, deg =  8 */    477,    478,    681,    739,    910,    929,    987,   1013, 
/* msg =    174, deg =  8 */    480,    481,    641,    826,    851,    974,   1011,   1022, 
/* msg =    175, deg =  8 */    484,    485,    555,    806,    906,    931,    993,   1021, 
/* msg =    176, deg =  8 */    487,    488,    526,    815,    875,    978,    998,   1021, 
/* msg =    177, deg =  8 */    489,    490,    575,    780,    874,    948,   1003,   1016, 
/* msg =    178, deg =  8 */    491,    492,    686,    764,    891,    963,    985,   1019, 
/* msg =    179, deg =  8 */    493,    494,    543,    816,    917,    975,    990,   1014, 
/* msg =    180, deg =  8 */    495,    496,    680,    747,    892,    960,    997,   1016, 
/* msg =    181, deg =  8 */    501,    502,    624,    752,    885,    961,    998,   1015, 
/* msg =    182, deg =  8 */    502,    503,    564,    819,    848,    930,    985,   1021, 
/* msg =    183, deg =  8 */    503,    504,    584,    827,    899,    968,    989,   1014, 
/* msg =    184, deg =  8 */    507,    508,    688,    820,    903,    976,    995,   1019, 
/* msg =    185, deg =  8 */    511,    512,    691,    758,    911,    971,   1000,   1017, 
/* msg =    186, deg =  8 */    514,    515,    694,    759,    870,    977,   1008,   1015, 
/* msg =    187, deg =  8 */    515,    516,    663,    835,    909,    965,   1009,   1022, 
/* msg =    188, deg =  8 */    517,    518,    695,    824,    899,    958,   1005,   1015, 
/* msg =    189, deg =  7 */     17,     18,    535,    711,    856,    941,    991, 
/* msg =    190, deg =  7 */     18,     19,    536,    712,    857,    926,    978, 
/* msg =    191, deg =  7 */     22,     23,    540,    716,    838,    944,    983, 
/* msg =    192, deg =  7 */     23,     24,    541,    717,    861,    929,    990, 
/* msg =    193, deg =  7 */     24,     25,    542,    718,    862,    945,    978, 
/* msg =    194, deg =  7 */     25,     26,    543,    719,    850,    938,    992, 
/* msg =    195, deg =  7 */     26,     27,    544,    720,    863,    943,    973, 
/* msg =    196, deg =  7 */     29,     30,    547,    723,    859,    916,    987, 
/* msg =    197, deg =  7 */     31,     32,    549,    724,    865,    948,    995, 
/* msg =    198, deg =  7 */     32,     33,    550,    725,    866,    949,    982, 
/* msg =    199, deg =  7 */     34,     35,    552,    726,    867,    947,    997, 
/* msg =    200, deg =  7 */     36,     37,    553,    727,    848,    951,    987, 
/* msg =    201, deg =  7 */     37,     38,    554,    728,    855,    946,    984, 
/* msg =    202, deg =  7 */     38,     39,    555,    729,    869,    952,    998, 
/* msg =    203, deg =  7 */     39,     40,    556,    730,    870,    953,    992, 
/* msg =    204, deg =  7 */     41,     42,    558,    732,    872,    954,    981, 
/* msg =    205, deg =  7 */     44,     45,    537,    705,    874,    928,    976, 
/* msg =    206, deg =  7 */     45,     46,    561,    727,    833,    957,    980, 
/* msg =    207, deg =  7 */     46,     47,    562,    735,    875,    938,    972, 
/* msg =    208, deg =  7 */     48,     49,    564,    736,    876,    958,    969, 
/* msg =    209, deg =  7 */     49,     50,    565,    737,    853,    959,    994, 
/* msg =    210, deg =  7 */     51,     52,    527,    739,    844,    960,   1000, 
/* msg =    211, deg =  7 */     54,     55,    569,    742,    851,    932,    983, 
/* msg =    212, deg =  7 */     55,     56,    570,    743,    845,    961,    980, 
/* msg =    213, deg =  7 */     56,     57,    544,    744,    874,    950,    995, 
/* msg =    214, deg =  7 */     57,     58,    571,    745,    842,    941,    984, 
/* msg =    215, deg =  7 */     58,     59,    572,    746,    878,    962,    990, 
/* msg =    216, deg =  7 */     61,     62,    512,    748,    877,    963,    989, 
/* msg =    217, deg =  7 */     62,     63,    575,    749,    880,    923,    998, 
/* msg =    218, deg =  7 */     63,     64,    576,    750,    865,    964,    993, 
/* msg =    219, deg =  7 */     64,     65,    577,    751,    881,    965,    998, 
/* msg =    220, deg =  7 */     65,     66,    578,    752,    882,    953,    999, 
/* msg =    221, deg =  7 */     66,     67,    552,    753,    852,    962,    986, 
/* msg =    222, deg =  7 */     67,     68,    579,    754,    876,    934,    992, 
/* msg =    223, deg =  7 */     68,     69,    580,    755,    858,    887,    979, 
/* msg =    224, deg =  7 */     69,     70,    581,    748,    819,    921,    994, 
/* msg =    225, deg =  7 */     72,     73,    583,    757,    884,    960,   1001, 
/* msg =    226, deg =  7 */     74,     75,    543,    758,    867,    965,   1002, 
/* msg =    227, deg =  7 */     76,     77,    586,    759,    865,    962,   1004, 
/* msg =    228, deg =  7 */     77,     78,    587,    741,    854,    917,    983, 
/* msg =    229, deg =  7 */     78,     79,    561,    760,    862,    966,   1005, 
/* msg =    230, deg =  7 */     79,     80,    588,    692,    886,    967,    991, 
/* msg =    231, deg =  7 */     80,     81,    589,    701,    820,    960,    990, 
/* msg =    232, deg =  7 */     81,     82,    520,    714,    882,    923,   1002, 
/* msg =    233, deg =  7 */     84,     85,    592,    731,    888,    923,   1006, 
/* msg =    234, deg =  7 */     86,     87,    593,    764,    869,    969,    999, 
/* msg =    235, deg =  7 */     87,     88,    594,    765,    875,    970,   1001, 
/* msg =    236, deg =  7 */     88,     89,    534,    766,    846,    920,   1003, 
/* msg =    237, deg =  7 */     89,     90,    595,    767,    889,    971,    991, 
/* msg =    238, deg =  7 */     90,     91,    596,    768,    851,    926,    989, 
/* msg =    239, deg =  7 */     91,     92,    556,    769,    837,    970,   1005, 
/* msg =    240, deg =  7 */     96,     97,    577,    773,    886,    972,   1007, 
/* msg =    241, deg =  7 */     98,     99,    600,    774,    889,    937,   1002, 
/* msg =    242, deg =  7 */     99,    100,    542,    746,    876,    949,    998, 
/* msg =    243, deg =  7 */    100,    101,    601,    724,    891,    965,    987, 
/* msg =    244, deg =  7 */    101,    102,    602,    775,    892,    903,   1003, 
/* msg =    245, deg =  7 */    103,    104,    603,    777,    894,    928,    986, 
/* msg =    246, deg =  7 */    104,    105,    604,    774,    840,    953,    975, 
/* msg =    247, deg =  7 */    105,    106,    605,    778,    884,    929,    984, 
/* msg =    248, deg =  7 */    106,    107,    522,    754,    880,    927,    996, 
/* msg =    249, deg =  7 */    107,    108,    606,    730,    838,    925,    994, 
/* msg =    250, deg =  7 */    110,    111,    598,    781,    892,    950,    982, 
/* msg =    251, deg =  7 */    111,    112,    608,    782,    896,    973,   1008, 
/* msg =    252, deg =  7 */    112,    113,    539,    703,    841,    924,    998, 
/* msg =    253, deg =  7 */    113,    114,    609,    753,    894,    937,    996, 
/* msg =    254, deg =  7 */    114,    115,    610,    783,    885,    925,    977, 
/* msg =    255, deg =  7 */    115,    116,    574,    733,    897,    950,    986, 
/* msg =    256, deg =  7 */    116,    117,    611,    770,    898,    967,    989, 
/* msg =    257, deg =  7 */    118,    119,    529,    785,    846,    962,    997, 
/* msg =    258, deg =  7 */    120,    121,    614,    786,    873,    930,    982, 
/* msg =    259, deg =  7 */    121,    122,    556,    787,    900,    974,    984, 
/* msg =    260, deg =  7 */    122,    123,    615,    725,    847,    927,    997, 
/* msg =    261, deg =  7 */    123,    124,    616,    742,    867,    944,    976, 
/* msg =    262, deg =  7 */    124,    125,    617,    788,    878,    972,   1004, 
/* msg =    263, deg =  7 */    125,    126,    600,    789,    856,    934,    979, 
/* msg =    264, deg =  7 */    126,    127,    509,    790,    901,    957,    981, 
/* msg =    265, deg =  7 */    127,    128,    618,    791,    840,    946,    997, 
/* msg =    266, deg =  7 */    128,    129,    561,    792,    897,    963,    983, 
/* msg =    267, deg =  7 */    131,    132,    620,    704,    845,    964,   1001, 
/* msg =    268, deg =  7 */    132,    133,    621,    769,    860,    941,    994, 
/* msg =    269, deg =  7 */    134,    135,    622,    795,    888,    959,   1005, 
/* msg =    270, deg =  7 */    135,    136,    573,    796,    896,    964,    991, 
/* msg =    271, deg =  7 */    137,    138,    623,    694,    903,    949,    997, 
/* msg =    272, deg =  7 */    139,    140,    541,    797,    890,    914,    986, 
/* msg =    273, deg =  7 */    140,    141,    589,    798,    870,    973,   1002, 
/* msg =    274, deg =  7 */    141,    142,    625,    799,    899,    922,    987, 
/* msg =    275, deg =  7 */    142,    143,    626,    775,    856,    959,    993, 
/* msg =    276, deg =  7 */    143,    144,    627,    800,    900,    962,   1007, 
/* msg =    277, deg =  7 */    144,    145,    524,    801,    861,    927,   1004, 
/* msg =    278, deg =  7 */    145,    146,    628,    802,    870,    964,    986, 
/* msg =    279, deg =  7 */    146,    147,    629,    706,    879,    940,    989, 
/* msg =    280, deg =  7 */    147,    148,    578,    803,    889,    935,   1001, 
/* msg =    281, deg =  7 */    149,    150,    630,    798,    839,    926,    985, 
/* msg =    282, deg =  7 */    150,    151,    547,    804,    899,    973,    981, 
/* msg =    283, deg =  7 */    153,    154,    632,    806,    878,    974,   1007, 
/* msg =    284, deg =  7 */    157,    158,    634,    687,    881,    963,    986, 
/* msg =    285, deg =  7 */    159,    160,    616,    808,    883,    968,    981, 
/* msg =    286, deg =  7 */    160,    161,    527,    791,    837,    969,   1006, 
/* msg =    287, deg =  7 */    161,    162,    636,    746,    875,    967,    981, 
/* msg =    288, deg =  7 */    163,    164,    551,    809,    895,    921,   1009, 
/* msg =    289, deg =  7 */    164,    165,    638,    685,    885,    973,   1010, 
/* msg =    290, deg =  7 */    165,    166,    541,    756,    903,    970,    999, 
/* msg =    291, deg =  7 */    167,    168,    631,    811,    835,    968,    998, 
/* msg =    292, deg =  7 */    168,    169,    596,    760,    896,    969,    993, 
/* msg =    293, deg =  7 */    170,    171,    640,    812,    872,    975,   1007, 
/* msg =    294, deg =  7 */    171,    172,    520,    740,    908,    970,    988, 
/* msg =    295, deg =  7 */    172,    173,    641,    813,    899,    976,    983, 
/* msg =    296, deg =  7 */    173,    174,    582,    775,    840,    977,    990, 
/* msg =    297, deg =  7 */    174,    175,    642,    728,    875,    974,    979, 
/* msg =    298, deg =  7 */    176,    177,    558,    814,    900,    961,    991, 
/* msg =    299, deg =  7 */    178,    179,    572,    714,    877,    945,    995, 
/* msg =    300, deg =  7 */    179,    180,    645,    816,    901,    947,   1007, 
/* msg =    301, deg =  7 */    180,    181,    603,    803,    843,    967,    997, 
/* msg =    302, deg =  7 */    181,    182,    528,    817,    902,    973,    996, 
/* msg =    303, deg =  7 */    182,    183,    640,    711,    888,    972,    983, 
/* msg =    304, deg =  7 */    185,    186,    647,    744,    910,    940,    993, 
/* msg =    305, deg =  7 */    187,    188,    648,    815,    905,    955,    976, 
/* msg =    306, deg =  7 */    188,    189,    606,    784,    911,    973,    984, 
/* msg =    307, deg =  7 */    189,    190,    637,    801,    854,    960,    998, 
/* msg =    308, deg =  7 */    190,    191,    513,    772,    909,    934,    994, 
/* msg =    309, deg =  7 */    192,    193,    649,    768,    842,    968,    997, 
/* msg =    310, deg =  7 */    193,    194,    559,    723,    879,    966,   1010, 
/* msg =    311, deg =  7 */    194,    195,    626,    819,    912,    952,   1003, 
/* msg =    312, deg =  7 */    196,    197,    550,    709,    868,    962,   1006, 
/* msg =    313, deg =  7 */    198,    199,    585,    821,    902,    971,   1008, 
/* msg =    314, deg =  7 */    201,    202,    526,    822,    914,    972,   1002, 
/* msg =    315, deg =  7 */    202,    203,    595,    802,    850,    967,   1009, 
/* msg =    316, deg =  7 */    203,    204,    618,    698,    900,    973,   1012, 
/* msg =    317, deg =  7 */    204,    205,    652,    820,    849,    966,   1011, 
/* msg =    318, deg =  7 */    205,    206,    571,    726,    854,    967,   1005, 
/* msg =    319, deg =  7 */    206,    207,    581,    702,    894,    944,    979, 
/* msg =    320, deg =  7 */    207,    208,    635,    821,    892,    962,   1005, 
/* msg =    321, deg =  7 */    208,    209,    653,    816,    913,    925,   1008, 
/* msg =    322, deg =  7 */    209,    210,    537,    795,    870,    943,   1009, 
/* msg =    323, deg =  7 */    210,    211,    654,    823,    843,    971,   1007, 
/* msg =    324, deg =  7 */    211,    212,    630,    736,    850,    968,   1002, 
/* msg =    325, deg =  7 */    212,    213,    605,    824,    859,    974,   1004, 
/* msg =    326, deg =  7 */    213,    214,    655,    825,    897,    964,   1011, 
/* msg =    327, deg =  7 */    215,    216,    611,    818,    883,    933,    990, 
/* msg =    328, deg =  7 */    217,    218,    602,    690,    844,    952,    996, 
/* msg =    329, deg =  7 */    218,    219,    519,    826,    916,    967,    984, 
/* msg =    330, deg =  7 */    219,    220,    651,    765,    881,    934,   1000, 
/* msg =    331, deg =  7 */    220,    221,    614,    816,    889,    958,    981, 
/* msg =    332, deg =  7 */    222,    223,    630,    789,    905,    963,   1010, 
/* msg =    333, deg =  7 */    224,    225,    532,    808,    869,    964,    983, 
/* msg =    334, deg =  7 */    225,    226,    645,    828,    861,    965,    980, 
/* msg =    335, deg =  7 */    229,    230,    542,    820,    916,    963,   1009, 
/* msg =    336, deg =  7 */    230,    231,    657,    713,    901,    977,   1002, 
/* msg =    337, deg =  7 */    232,    233,    646,    829,    876,    940,    985, 
/* msg =    338, deg =  7 */    233,    234,    658,    781,    861,    967,    994, 
/* msg =    339, deg =  7 */    234,    235,    583,    741,    858,    971,    978, 
/* msg =    340, deg =  7 */    235,    236,    659,    799,    915,    969,   1000, 
/* msg =    341, deg =  7 */    236,    237,    525,    631,    868,    940,    988, 
/* msg =    342, deg =  7 */    237,    238,    660,    785,    881,    966,    982, 
/* msg =    343, deg =  7 */    238,    239,    588,    827,    918,    952,    980, 
/* msg =    344, deg =  7 */    239,    240,    655,    830,    856,    961,   1004, 
/* msg =    345, deg =  7 */    242,    243,    651,    721,    843,    974,    985, 
/* msg =    346, deg =  7 */    244,    245,    661,    769,    867,    934,    989, 
/* msg =    347, deg =  7 */    245,    246,    599,    809,    916,    935,    988, 
/* msg =    348, deg =  7 */    247,    248,    565,    830,    911,    970,    977, 
/* msg =    349, deg =  7 */    248,    249,    656,    831,    910,    972,   1009, 
/* msg =    350, deg =  7 */    252,    253,    507,    808,    884,    961,    992, 
/* msg =    351, deg =  7 */    255,    256,    634,    710,    874,    964,    999, 
/* msg =    352, deg =  7 */    256,    257,    545,    790,    852,    956,   1009, 
/* msg =    353, deg =  7 */    259,    260,    576,    696,    901,    970,   1006, 
/* msg =    354, deg =  7 */    260,    261,    665,    832,    896,    972,    982, 
/* msg =    355, deg =  7 */    262,    263,    652,    804,    871,    944,    970, 
/* msg =    356, deg =  7 */    265,    266,    554,    704,    830,    955,    996, 
/* msg =    357, deg =  7 */    266,    267,    664,    758,    892,    974,   1010, 
/* msg =    358, deg =  7 */    267,    268,    592,    823,    841,    969,    990, 
/* msg =    359, deg =  7 */    268,    269,    667,    740,    886,    921,   1006, 
/* msg =    360, deg =  7 */    269,    270,    601,    833,    919,    962,   1010, 
/* msg =    361, deg =  7 */    271,    272,    668,    814,    910,    943,   1000, 
/* msg =    362, deg =  7 */    272,    273,    579,    735,    842,    964,   1009, 
/* msg =    363, deg =  7 */    273,    274,    669,    757,    850,    909,    986, 
/* msg =    364, deg =  7 */    274,    275,    610,    801,    906,    945,    979, 
/* msg =    365, deg =  7 */    275,    276,    545,    833,    879,    929,    988, 
/* msg =    366, deg =  7 */    276,    277,    643,    785,    905,    933,    994, 
/* msg =    367, deg =  7 */    278,    279,    670,    834,    920,    953,    996, 
/* msg =    368, deg =  7 */    279,    280,    602,    744,    877,    938,    988, 
/* msg =    369, deg =  7 */    280,    281,    671,    712,    876,    924,   1008, 
/* msg =    370, deg =  7 */    282,    283,    621,    734,    913,    954,   1004, 
/* msg =    371, deg =  7 */    283,    284,    655,    817,    914,    969,   1009, 
/* msg =    372, deg =  7 */    284,    285,    549,    781,    835,    978,    980, 
/* msg =    373, deg =  7 */    285,    286,    643,    698,    917,    954,    993, 
/* msg =    374, deg =  7 */    286,    287,    625,    719,    838,    947,   1006, 
/* msg =    375, deg =  7 */    287,    288,    637,    826,    891,    964,   1004, 
/* msg =    376, deg =  7 */    288,    289,    536,    763,    846,    946,    983, 
/* msg =    377, deg =  7 */    289,    290,    615,    827,    895,    976,   1010, 
/* msg =    378, deg =  7 */    290,    291,    579,    717,    906,    966,    991, 
/* msg =    379, deg =  7 */    291,    292,    672,    813,    894,    960,    994, 
/* msg =    380, deg =  7 */    292,    293,    644,    835,    845,    970,    986, 
/* msg =    381, deg =  7 */    293,    294,    568,    774,    849,    957,    992, 
/* msg =    382, deg =  7 */    294,    295,    653,    752,    863,    971,   1005, 
/* msg =    383, deg =  7 */    295,    296,    521,    829,    895,    923,    987, 
/* msg =    384, deg =  7 */    297,    298,    599,    708,    858,    949,    996, 
/* msg =    385, deg =  7 */    298,    299,    673,    827,    914,    957,    991, 
/* msg =    386, deg =  7 */    299,    300,    573,    728,    891,    976,   1001, 
/* msg =    387, deg =  7 */    300,    301,    674,    722,    890,    977,    984, 
/* msg =    388, deg =  7 */    301,    302,    592,    700,    908,    929,    995, 
/* msg =    389, deg =  7 */    302,    303,    538,    767,    868,    954,    973, 
/* msg =    390, deg =  7 */    303,    304,    656,    818,    916,    975,   1000, 
/* msg =    391, deg =  7 */    304,    305,    641,    834,    913,    977,    988, 
/* msg =    392, deg =  7 */    306,    307,    639,    776,    841,    975,   1002, 
/* msg =    393, deg =  7 */    307,    308,    675,    721,    877,    960,    991, 
/* msg =    394, deg =  7 */    309,    310,    649,    753,    855,    945,    999, 
/* msg =    395, deg =  7 */    311,    312,    676,    836,    920,    942,    978, 
/* msg =    396, deg =  7 */    313,    314,    628,    725,    844,    973,    979, 
/* msg =    397, deg =  7 */    315,    316,    511,    646,    846,    938,    999, 
/* msg =    398, deg =  7 */    319,    320,    597,    716,    875,    923,    996, 
/* msg =    399, deg =  7 */    322,    323,    667,    821,    860,    939,    985, 
/* msg =    400, deg =  7 */    324,    325,    676,    817,    916,    959,   1011, 
/* msg =    401, deg =  7 */    325,    326,    531,    699,    896,    905,    997, 
/* msg =    402, deg =  7 */    326,    327,    617,    813,    857,    965,   1001, 
/* msg =    403, deg =  7 */    328,    329,    638,    736,    904,    960,    980, 
/* msg =    404, deg =  7 */    329,    330,    558,    834,    837,    976,    985, 
/* msg =    405, deg =  7 */    330,    331,    620,    800,    895,    963,   1011, 
/* msg =    406, deg =  7 */    331,    332,    674,    786,    853,    968,   1003, 
/* msg =    407, deg =  7 */    333,    334,    679,    819,    891,    973,   1000, 
/* msg =    408, deg =  7 */    334,    335,    521,    710,    907,    931,   1001, 
/* msg =    409, deg =  7 */    335,    336,    608,    743,    838,    965,   1004, 
/* msg =    410, deg =  7 */    337,    338,    563,    832,    863,    933,    984, 
/* msg =    411, deg =  7 */    339,    340,    580,    817,    912,    976,    997, 
/* msg =    412, deg =  7 */    340,    341,    680,    697,    839,    970,   1011, 
/* msg =    413, deg =  7 */    342,    343,    539,    691,    862,    930,   1001, 
/* msg =    414, deg =  7 */    343,    344,    627,    812,    866,    967,   1008, 
/* msg =    415, deg =  7 */    344,    345,    632,    814,    903,    969,    986, 
/* msg =    416, deg =  7 */    347,    348,    618,    715,    893,    964,    980, 
/* msg =    417, deg =  7 */    349,    350,    677,    750,    914,    955,    979, 
/* msg =    418, deg =  7 */    350,    351,    609,    811,    912,    948,    974, 
/* msg =    419, deg =  7 */    351,    352,    553,    836,    853,    956,    981, 
/* msg =    420, deg =  7 */    352,    353,    594,    724,    904,    966,    979, 
/* msg =    421, deg =  7 */    355,    356,    681,    829,    918,    928,   1005, 
/* msg =    422, deg =  7 */    357,    358,    668,    767,    906,    933,   1004, 
/* msg =    423, deg =  7 */    360,    361,    523,    792,    871,    924,   1003, 
/* msg =    424, deg =  7 */    362,    363,    594,    672,    867,    959,    985, 
/* msg =    425, deg =  7 */    364,    365,    682,    836,    917,    935,    987, 
/* msg =    426, deg =  7 */    367,    368,    587,    834,    909,    949,    995, 
/* msg =    427, deg =  7 */    370,    371,    671,    825,    864,    957,    989, 
/* msg =    428, deg =  7 */    371,    372,    530,    789,    908,    958,    983, 
/* msg =    429, deg =  7 */    372,    373,    661,    823,    891,    945,   1005, 
/* msg =    430, deg =  7 */    374,    375,    590,    822,    864,    930,   1003, 
/* msg =    431, deg =  7 */    376,    377,    623,    824,    920,    972,    998, 
/* msg =    432, deg =  7 */    377,    378,    609,    771,    873,    971,   1002, 
/* msg =    433, deg =  7 */    379,    380,    508,    735,    864,    947,    977, 
/* msg =    434, deg =  7 */    380,    381,    569,    823,    922,    954,   1000, 
/* msg =    435, deg =  7 */    382,    383,    620,    749,    862,    960,   1008, 
/* msg =    436, deg =  7 */    383,    384,    635,    771,    882,    967,    993, 
/* msg =    437, deg =  7 */    384,    385,    548,    763,    878,    973,    991, 
/* msg =    438, deg =  7 */    385,    386,    666,    751,    894,    961,   1001, 
/* msg =    439, deg =  7 */    392,    393,    552,    738,    907,    926,    995, 
/* msg =    440, deg =  7 */    394,    395,    634,    793,    850,    961,   1005, 
/* msg =    441, deg =  7 */    396,    397,    611,    782,    873,    925,    981, 
/* msg =    442, deg =  7 */    400,    401,    570,    695,    903,    940,   1002, 
/* msg =    443, deg =  7 */    401,    402,    640,    779,    904,    933,    992, 
/* msg =    444, deg =  7 */    402,    403,    617,    748,    870,    961,   1006, 
/* msg =    445, deg =  7 */    404,    405,    659,    832,    842,    951,    989, 
/* msg =    446, deg =  7 */    406,    407,    555,    707,    897,    965,   1008, 
/* msg =    447, deg =  7 */    407,    408,    685,    830,    922,    972,   1012, 
/* msg =    448, deg =  7 */    413,    414,    679,    822,    924,    971,    987, 
/* msg =    449, deg =  7 */    414,    415,    551,    807,    839,    951,    999, 
/* msg =    450, deg =  7 */    415,    416,    677,    812,    876,    931,    991, 
/* msg =    451, deg =  7 */    416,    417,    603,    733,    860,    936,   1002, 
/* msg =    452, deg =  7 */    418,    419,    535,    678,    833,    939,    984, 
/* msg =    453, deg =  7 */    419,    420,    650,    751,    923,    975,    988, 
/* msg =    454, deg =  7 */    420,    421,    569,    693,    911,    948,   1006, 
/* msg =    455, deg =  7 */    424,    425,    523,    825,    913,    976,   1007, 
/* msg =    456, deg =  7 */    426,    427,    600,    732,    854,    970,    989, 
/* msg =    457, deg =  7 */    428,    429,    549,    793,    890,    925,    990, 
/* msg =    458, deg =  7 */    429,    430,    574,    837,    855,    977,    979, 
/* msg =    459, deg =  7 */    430,    431,    683,    813,    921,    936,    996, 
/* msg =    460, deg =  7 */    431,    432,    562,    836,    847,    952,   1005, 
/* msg =    461, deg =  7 */    432,    433,    658,    720,    768,    939,    986, 
/* msg =    462, deg =  7 */    433,    434,    627,    737,    918,    977,    999, 
/* msg =    463, deg =  7 */    434,    435,    531,    820,    898,    972,   1008, 
/* msg =    464, deg =  7 */    435,    436,    639,    825,    919,    978,    996, 
/* msg =    465, deg =  7 */    437,    438,    680,    687,    873,    940,    979, 
/* msg =    466, deg =  7 */    438,    439,    650,    822,    917,    976,    991, 
/* msg =    467, deg =  7 */    439,    440,    565,    826,    883,    978,    992, 
/* msg =    468, deg =  7 */    440,    441,    621,    701,    865,    952,   1010, 
/* msg =    469, deg =  7 */    441,    442,    540,    745,    904,    936,   1003, 
/* msg =    470, deg =  7 */    442,    443,    642,    824,    911,    945,   1001, 
/* msg =    471, deg =  7 */    443,    444,    510,    803,    872,    969,    996, 
/* msg =    472, deg =  7 */    444,    445,    669,    795,    855,    963,    994, 
/* msg =    473, deg =  7 */    445,    446,    591,    826,    885,    958,    982, 
/* msg =    474, deg =  7 */    446,    447,    675,    800,    871,    956,    985, 
/* msg =    475, deg =  7 */    450,    451,    674,    755,    916,    962,    995, 
/* msg =    476, deg =  7 */    452,    453,    657,    776,    878,    966,    989, 
/* msg =    477, deg =  7 */    453,    454,    598,    738,    866,    969,    994, 
/* msg =    478, deg =  7 */    454,    455,    588,    818,    894,    964,    985, 
/* msg =    479, deg =  7 */    455,    456,    678,    828,    851,    969,   1008, 
/* msg =    480, deg =  7 */    457,    458,    546,    779,    844,    970,    991, 
/* msg =    481, deg =  7 */    458,    459,    684,    799,    852,    976,   1004, 
/* msg =    482, deg =  7 */    459,    460,    595,    747,    865,    972,    981, 
/* msg =    483, deg =  7 */    460,    461,    667,    794,    898,    958,    986, 
/* msg =    484, deg =  7 */    462,    463,    522,    836,    913,    971,   1010, 
/* msg =    485, deg =  7 */    463,    464,    681,    798,    885,    944,   1006, 
/* msg =    486, deg =  7 */    464,    465,    576,    813,    900,    977,   1009, 
/* msg =    487, deg =  7 */    465,    466,    687,    828,    918,    972,   1010, 
/* msg =    488, deg =  7 */    466,    467,    557,    796,    848,    974,    978, 
/* msg =    489, deg =  7 */    467,    468,    567,    802,    880,    959,    995, 
/* msg =    490, deg =  7 */    469,    470,    608,    787,    877,    941,    986, 
/* msg =    491, deg =  7 */    471,    472,    532,    745,    914,    946,    988, 
/* msg =    492, deg =  7 */    472,    473,    586,    825,    872,    944,   1000, 
/* msg =    493, deg =  7 */    478,    479,    563,    788,    872,    959,   1001, 
/* msg =    494, deg =  7 */    479,    480,    660,    716,    909,    973,    992, 
/* msg =    495, deg =  7 */    481,    482,    546,    821,    915,    968,    992, 
/* msg =    496, deg =  7 */    482,    483,    636,    750,    849,    961,    987, 
/* msg =    497, deg =  7 */    483,    484,    619,    829,    867,    956,    978, 
/* msg =    498, deg =  7 */    485,    486,    624,    837,    919,    942,   1007, 
/* msg =    499, deg =  7 */    486,    487,    654,    720,    880,    965,    982, 
/* msg =    500, deg =  7 */    488,    489,    682,    812,    925,    960,   1004, 
/* msg =    501, deg =  7 */    490,    491,    590,    717,    853,    972,    984, 
/* msg =    502, deg =  7 */    492,    493,    628,    811,    898,    928,    992, 
/* msg =    503, deg =  7 */    494,    495,    671,    806,    886,    941,    987, 
/* msg =    504, deg =  7 */    496,    497,    605,    689,    874,    937,    969, 
/* msg =    505, deg =  7 */    497,    498,    649,    762,    904,    931,    989, 
/* msg =    506, deg =  7 */    498,    499,    533,    813,    902,    975,    995, 
/* msg =    507, deg =  7 */    499,    500,    670,    822,    884,    950,    988, 
/* msg =    508, deg =  7 */    500,    501,    612,    691,    878,    964,   1010, 
/* msg =    509, deg =  7 */    504,    505,    675,    832,    913,    948,    979, 
/* msg =    510, deg =  7 */    505,    506,    686,    815,    922,    977,    986, 
/* msg =    511, deg =  7 */    506,    507,    684,    829,    881,    935,   1007, 
/* msg =    512, deg =  7 */    508,    509,    689,    835,    918,    975,   1011, 
/* msg =    513, deg =  7 */    509,    510,    685,    838,    924,    964,   1007, 
/* msg =    514, deg =  7 */    510,    511,    690,    831,    906,    976,    989, 
/* msg =    515, deg =  7 */    512,    513,    692,    836,    922,    962,    988, 
/* msg =    516, deg =  7 */    513,    514,    693,    810,    908,    966,    993, 
/* msg =    517, deg =  7 */    516,    517,    683,    839,    915,    950,   1007
};
